Philosophy Dictionary of ArgumentsHome | |||
| |||
Paradox of implication: A statement is true according to the standard definition of implication, when the antecedent of the implication is false. In any case then the consequent of the implication is (trivially) true. See also Ex falso quodlibet/EFQ, Implication, Paradoxes._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
Logic Texts on Implication Paradox - Dictionary of Arguments
Hoyningen-Huene II 117 Problem: Ex falso quodlibet: According to classical logic, anything can be deduced from a false premise. >ex falso quodlibet/EFQ. Hoyningen-Huene II 118 Here opinions differ. Problem: if there is no transfer of truth. Premises and conclusions are [sometimes] completely independent of each other. II 119 According to the argumentation with truth transfer, [such] conclusions are incorrect. Possible solution: Strengthening by the aspect of relevance: II 123 "Strict implication." [An inference] is incorrect because nothing can be inferred from A u ~A. Caution: A u ~A could now be reformulated as A u B! (~A = B) Here the (actually not forbidden) substitution destroys the characteristic. >Strict implication, >Relevance. II 127 Although it is incorrect for the case B = ~A, it can be useful to deduce A from A u B without scruples, even if one does not know whether B = ~A. II 128 The classical propositional logic proves to be possibly inadequate here. >Propositional logic._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Logic Texts Me I Albert Menne Folgerichtig Denken Darmstadt 1988 HH II Hoyningen-Huene Formale Logik, Stuttgart 1998 Re III Stephen Read Philosophie der Logik Hamburg 1997 Sal IV Wesley C. Salmon Logic, Englewood Cliffs, New Jersey 1973 - German: Logik Stuttgart 1983 Sai V R.M.Sainsbury Paradoxes, Cambridge/New York/Melbourne 1995 - German: Paradoxien Stuttgart 2001 |